The 2018 Workshop on Discrete Event Systems [Conference Reports]

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Recent Developments in Discrete Event Systems

This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...

متن کامل

Decentralized prognosis of fuzzy discrete-event systems

This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...

متن کامل

Partial Observation in Distributed Supervisory Control of Discrete-Event Systems

Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

متن کامل

Model checking embedded system designs - Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on

Model checking has established itself as a successful tool supported technique for the verification and debugging of various hardware and software systems [16]. Not only in academia, but also by industry this technique is increasingly being regarded as a promising and practical proposition, especially in the area of hardware verification [22]. Model checking is also being applied with success t...

متن کامل

Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program

AAAI was pleased to present the AAAI-06 workshop program. Workshops were held Sunday and Monday, July 16–17, 2006, at the Seaport Hotel and World Trade Center in Boston, Massachusetts. The AAAI06 workshop program included 14 workshops covering a wide range of ■ The Workshop program of the TwentyFirst National Conference on Artificial Intelligence was held July 16–17, 2006 in Boston, Massachuset...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Control Systems

سال: 2018

ISSN: 1066-033X,1941-000X

DOI: 10.1109/mcs.2018.2866662